$\forall$${\it es}$:ES, $e$:E. $\uparrow$$e$ = $e$